Experts, Evidence, and Epistemic Independence
نویسندگان
چکیده
منابع مشابه
Interactive beliefs, epistemic independence and strong rationalizability†
We use a universal, extensive form interactive beliefs system to provide an epistemic characterization of a weak and a strong notion of rationalizability with independent beliefs. The weak solution concept is equivalent to backward induction in generic perfect information games where no player moves more than once in any play. The strong solution concept is related to explicability (Reny, 1992)...
متن کاملEpistemic independence in numerical possibility theory
Numerical possibility measures can be interpreted as systems of upper betting rates for events. As such, they have a special part in the unifying behavioural theory of imprecise probabilities, proposed by Walley. On this interpretation, they should arguably satisfy certain rationality, or consistency, requirements, such as avoiding sure loss and coherence. Using a version of Walley’s notion of ...
متن کاملOptimizing Epistemic Model Checking using Conditional Independence
Conditional independence reasoning has been shown to be helpful in the context of Bayesian nets to optimize probabilistic inference, and related techniques have been applied to speed up a number of logical reasoning tasks in boolean logic by eliminating irrelevant parts of the formulas. This paper shows that conditional independence reasoning can also be applied to optimize epistemic model chec...
متن کاملAn Epistemic Rationale for Order Independence
The issue of the order-dependence of iterative deletion processes is well-known in the game theory community, and meanwhile conditions on the dominance concept underlying these processes have been detected which ensure order-independence (see e.g. the criteria of Gilboa et al., 1990 and Apt, 2011). While this kind of research deals with the technical issue, whether certain iterative deletion pr...
متن کاملEpistemic Model Checking Using Conditional Independence ( Extended
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Spontaneous Generations: A Journal for the History and Philosophy of Science
سال: 2007
ISSN: 1913-0465
DOI: 10.4245/sponge.v1i1.2972